Modeling of Multiagent Based Railway System using BDI Logic
نویسندگان
چکیده
Multi-Agent based modeling & simulation is an evolving paradigm for solving real life problems for solving real life problems for the last one decade. In this paper, we model the manually controlled Indian Railway to a multi agent based automated system which is robust in nature and provide a fully automated collision avoidance guarantee. We consider individual entity such as station, junction and train as an agent and the whole railway network is framed as a graph. To sharpen the solutions of existing system ́s problems such as collisions and delays, BDI agent with first order predicate logic is incorporated in this paper. The communication and coordination between respective agents (with help of their BDI and rule base running as backbone) can now be a substitution in place of manual decisions. Thus the idea can replace the hectic job of railway control room personals in more sophisticated & methodical way. Keywords—Agent, Multiagent Technology, BDI Logic, Predicate Logic, Railway Management, Distributed System.
منابع مشابه
Interaction Modal Logic for multiagent systems based on BDI architecture
The purpose of this paper is to develop a conceptual model of multiagent system composed of a set of BDI agents based on role modeling and modal logic of interaction. Agents perform actions taking roles within a scenario that obeys a plan conformed for a set of goals and establishes relations between the participants. These plans and relations define interactions between agents. All interaction...
متن کاملFuzzy Logic-Based Vector Control of Permanent Magnet Synchronous Motor Using Stacked Matrix Converter for Railway Traction Applications
Recently, Permanent Magnet Synchronous Motors (PMSMs) have been widely accepted and employed in traction and railway transportation applications due to their various advantages such as small inertia, high efficiency and high torque density. In this paper, in order to use these motors as traction drives in an effective way, the vector control scheme is employed. In this strategy, the stator curr...
متن کاملComplexity of multiagent BDI logics with restricted modal context
We present and discuss a novel language restriction for modal logics for multiagent systems that can reduce the complexity of the satisfiability problem from EXPTIME-hard to NPTIME-complete. In the discussion we focus on a particular BDI logic, called TeamLog, which is a logic for modelling cooperating groups of agents and which possesses some of the characteristics typical to other BDI logics....
متن کاملMonitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents
This paper describes an ongoing project that involves DISI, the Computer Science Department of Genova University, and Ansaldo Segnalamento Ferroviario, the Italian leader in design and construction of signalling and automation systems for railway lines. We are implementing a multiagent system that monitors processes running in a railway signalling plant, detects functioning anomalies, provides ...
متن کاملBDI : An Alternating-time BDI Logic for Multiagent Systems
Many logics for modelling beliefs, desires and intentions of agents, such as Rao and Georgeff’s BDI logic and Wooldridge’s LORA, are based on temporal logics like CTL/CTL∗ (Computational Tree Logic) in which the structure of time is branching in the future and linear in the past. Recently, many attempts have been made to define logics for BDI agents by using extensions of CTL. In this paper, we...
متن کامل